منابع مشابه
Amb Breaks Well-Pointedness, Ground Amb Doesn't
McCarthy’s amb operator has no known denotational semantics, and its basic operational properties the context lemma, the compatibility of refinement similarity and convex bisimilarity have long been open. In this paper, we give a single example program that demonstrates the failure of each of these properties. This shows that there cannot be any well-pointed denotational semantics. However, we ...
متن کاملActive Magnetic Bearings (amb)
A magnetic bearing is a bearing which supports a load using magnetic levitation. Magnetic bearings support moving machinery without physical contact, for example, they can levitate a rotating shaft and permit relative motion without friction or wear. In active magnetic bearings (AMB) a stable equilibrium is achieved by means of one or more control loops. The use of control loop for maintaining ...
متن کاملInteraction Nets with McCarthy's amb
Interaction nets are graphical rewrite systems which have been successfully used to implement various efficient evaluation strategies in the λ-calculus (including optimal reduction). However, they are intrinsically deterministic and this prevents from applying these techniques to concurrent languages where non-determinism plays a key rôle. In this paper we show that a minimal extension — the ad...
متن کاملDod/amb: in Vivo Activity of a Novel Amb Formulation with Synthetic Cationic Bilayer Fragments
The ability of the versatile dioctadecyldimethylammonium bromide (DODAB), a bilayer-forming synthetic lipid previously shown to solubilize Amphotericin B (AMB), inspired this evaluation of in vivo activity of the DODAB/AMB formulation (DOD/AMB) against systemic candidiasis in a mouse model from survival and tissue burden experiments. AMB was simply added to a DODAB powder dispersion in water pr...
متن کاملSurface ferro (or antiferro) magnetism in bulk antiferro (or ferro) magnets : renormalization group analysis
2014 The renormalization group techniques are applied, for the first time, to surface magnetism in bulk magnets, for all signs of surface and bulk coupling constants. The q-state Potts model is specifically focused upon, and an interesting q-evolution of the phase diagram is exhibited. In particular the Ising model (q = 2) presents a remarkable feature in the case of competing bulk-and surface ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Ciències: revista del professorat de ciències de Primària i Secundària
سال: 2008
ISSN: 1699-6712
DOI: 10.5565/rev/ciencies.242